√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

prepositional logic中文什么意思

發(fā)音:   用"prepositional logic"造句

例句與用法

  1. Based on the production of other researchers such as professor xu yang and professor qin keyun , this paper discusses the structure and properties of lattice implication algebra , tautologies in some lattice - valued systems , automated reasoning methods , lattice - valued prepositional logic system
    本文的工作是在徐揚教授、秦克云教授等研究成果的基礎(chǔ)上，對格蘊涵代數(shù)的性質(zhì)、結(jié)構(gòu)、格值命題邏輯系統(tǒng)中的重言式、自動推理方法、格值命題邏輯系統(tǒng)等進行了一些研究。
  2. Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis . the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science , which are important in theory and have wide applications in a lot of real - world problems
    命題邏輯可滿足性( sat )問題和有限論域一階邏輯模型搜索( folms )問題是計算機理論科學(xué)中的經(jīng)典問題，不僅在理論上有著重要的地位，而且在許多實際問題中得到了廣泛的應(yīng)用。
  3. This paper came from the national nature science foundation and beijing nature science foundation . the subject is the research of the relation between generalized propositional logic ( gpl ) and other prepositional logic . the paper shows the universality of generalized propositional logic
    本文的研究結(jié)合國家自然科學(xué)基金“經(jīng)驗知識推理理論” ( 60273087 )和北京市自然科學(xué)基金“不精確推理理論研究” ( 4032009 )進行，主要是研究命題泛邏輯學(xué)對其他命題邏輯的包容性，即根據(jù)泛邏輯學(xué)的生成規(guī)則，可以直接生成各種命題邏輯。

相關(guān)詞匯

        prepositional:    adj. 【語法】前置詞的，介詞的。 a preposi ...
        logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
        prepositional:    adj. 【語法】前置詞的，介詞的。 a prepositional phrase 前置詞短語。 adv. -ly
        prepositional calculus:    介詞演算
        prepositional constructions:    介詞結(jié)構(gòu)
        prepositional deletion:    前置詞省略
        prepositional insertion:    前置詞插入
        prepositional object:    介詞賓語
        prepositional opposition:    介詞對立
        prepositional phrase:    介詞短語
        -logic:    -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形容詞〕表示“…學(xué)的”： biological, philological.
        and logic:    “與”邏輯
        logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
        logic-and:    邏輯“與”
        or logic:    或邏輯
        active logic:    有源邏輯
        actuating logic:    執(zhí)行邏輯
        adaptive logic:    適應(yīng)性邏輯（電腦）; 自適應(yīng)邏輯
        affective logic:    情感邏輯
        algebra and logic:    代數(shù)與邏輯
        algebra of logic:    邏輯代數(shù)
        algebraic logic:    代數(shù)邏輯
        algorithm logic:    運算邏輯
        algorithmic logic:    算法邏輯
        alternating logic:    交替邏輯

相鄰詞匯

  1. prepositional 什么意思
  2. prepositional calculus 什么意思
  3. prepositional constructions 什么意思
  4. prepositional deletion 什么意思
  5. prepositional insertion 什么意思
  6. prepositional object 什么意思
  7. prepositional opposition 什么意思
  8. prepositional phrase 什么意思
  9. prepositionally 什么意思
  10. prepositioned 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.